#Density : 3180912258790779871991217009/8000000000000000000000000000

Program                      : VertexInducedHypercubeDensityChecker

Dimension of subcubes H      : 4
Number of induced hypercubes : 1
Induced hypercubes           :
4 : {7, 8, 11, 13, 14, 15}
Number of terms              : 19


--- Term 1 ---

Dimension of type  : 0
Dimension of flags : 2
Number of flags    : 6
Matrix dimension   : 6

Flags :
F1 : {0}
F2 : {0, 2}
F3 : {0, 3}
F4 : {0, 2, 3}
F5 : {0, 1, 2}
F6 : {0, 1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)
B5 : (F5)
B6 : (F6)

Matrix :
211860576189970220041076637/200000000000000000000000000 430081583499872483466578793/1000000000000000000000000000 -47396734663065421489556169/100000000000000000000000000 -7807699493649254328987447/10000000000000000000000000 24060564348086161521389553/62500000000000000000000000 -328102385903521568088802731/1000000000000000000000000000
430081583499872483466578793/1000000000000000000000000000 206192852975418404996465153/1000000000000000000000000000 -96216403564431523701078149/500000000000000000000000000 -633992000274488628359451/2000000000000000000000000 9768693922420605817690973/62500000000000000000000000 -133210997744759045642870451/1000000000000000000000000000
-47396734663065421489556169/100000000000000000000000000 -96216403564431523701078149/500000000000000000000000000 10603437869944665062423281/50000000000000000000000000 873356119114914150225993/2500000000000000000000000 -10765496863628743683310633/62500000000000000000000000 73401960886973712211203783/500000000000000000000000000
-7807699493649254328987447/10000000000000000000000000 -633992000274488628359451/2000000000000000000000000 873356119114914150225993/2500000000000000000000000 230189769061967701217403/400000000000000000000000 -283745333963816261301627/1000000000000000000000000 483662393136701621593947/2000000000000000000000000
24060564348086161521389553/62500000000000000000000000 9768693922420605817690973/62500000000000000000000000 -10765496863628743683310633/62500000000000000000000000 -283745333963816261301627/1000000000000000000000000 8744026165272763917140663/62500000000000000000000000 -232886903463861841923813/1953125000000000000000000
-328102385903521568088802731/1000000000000000000000000000 -133210997744759045642870451/1000000000000000000000000000 73401960886973712211203783/500000000000000000000000000 483662393136701621593947/2000000000000000000000000 -232886903463861841923813/1953125000000000000000000 101624547210761100374878617/1000000000000000000000000000


--- Term 2 ---

Dimension of type  : 0
Dimension of flags : 2
Number of flags    : 6
Matrix dimension   : 6

Flags :
F1 : {}
F2 : {2}
F3 : {3}
F4 : {2, 3}
F5 : {1, 2}
F6 : {1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)
B5 : (F5)
B6 : (F6)

Matrix :
0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 6260109/200000000 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1


--- Term 3 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 4

Flags :
F1 : {1}
F2 : {1, 2}
F3 : {1, 3}
F4 : {1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)

Matrix :
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1
0/1 0/1 27043411/500000000 0/1
0/1 0/1 0/1 0/1


--- Term 4 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 3

Flags :
F1 : {0, 1}
F2 : {0, 1, 2}
F3 : {0, 1, 3}
F4 : {0, 1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)+(F3)
B3 : (F4)

Matrix :
50978753/1000000000 0/1 0/1
0/1 0/1 0/1
0/1 0/1 0/1


--- Term 5 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 2
Matrix dimension   : 1

Flags :
F1 : {0, 1, 2}
F2 : {0, 1, 3}

Basis :
B1 : (F2)-(F1)

Matrix :
0/1


--- Term 6 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 3

Flags :
F1 : {}
F2 : {2}
F3 : {3}
F4 : {2, 3}

Basis :
B1 : (F1)
B2 : (F2)+(F3)
B3 : (F4)

Matrix :
0/1 0/1 0/1
0/1 0/1 0/1
0/1 0/1 49782061/1000000000


--- Term 7 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 2
Matrix dimension   : 1

Flags :
F1 : {2}
F2 : {3}

Basis :
B1 : (F2)-(F1)

Matrix :
0/1


--- Term 8 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 12

Flags :
F1  : {3}
F2  : {3, 4}
F3  : {3, 5}
F4  : {3, 4, 5}
F5  : {3, 6}
F6  : {3, 4, 6}
F7  : {3, 5, 6}
F8  : {3, 4, 5, 6}
F9  : {3, 7}
F10 : {3, 4, 7}
F11 : {3, 5, 7}
F12 : {3, 4, 5, 7}
F13 : {3, 6, 7}
F14 : {3, 4, 6, 7}
F15 : {3, 5, 6, 7}
F16 : {3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)
B3  : (F3)+(F5)
B4  : (F4)+(F6)
B5  : (F7)
B6  : (F8)
B7  : (F9)
B8  : (F10)
B9  : (F11)+(F13)
B10 : (F12)+(F14)
B11 : (F15)
B12 : (F16)

Matrix :
3708955768465265783813462279/1000000000000000000000000000 -159391031414200485275860831/100000000000000000000000000 877267978502647315497585529/1000000000000000000000000000 -131471220787550714478460179/1000000000000000000000000000 -951640347021995275324645881/250000000000000000000000000 1882008080930317041209143189/1000000000000000000000000000 1209136596672037664021493399/1000000000000000000000000000 179252161568656020733646259/500000000000000000000000000 -459657956840748831303753007/1000000000000000000000000000 51403926110268250666830007/200000000000000000000000000 -15834368475230368044215321/3906250000000000000000000 1496207061802621490662573941/1000000000000000000000000000
-159391031414200485275860831/100000000000000000000000000 684977187144920451667126989/1000000000000000000000000000 -4712534222875334890524719/12500000000000000000000000 56499280766437373568349639/1000000000000000000000000000 817927987908945076055434417/500000000000000000000000000 -20219654034867790448188921/25000000000000000000000000 -519622074074869563351881113/1000000000000000000000000000 -30813186520137143743262293/200000000000000000000000000 9876817144646402785487323/50000000000000000000000000 -110453256025675091049053911/1000000000000000000000000000 1742019207121949107643876139/1000000000000000000000000000 -321494784553141647577741743/500000000000000000000000000
877267978502647315497585529/1000000000000000000000000000 -4712534222875334890524719/12500000000000000000000000 207497515243913198775622743/1000000000000000000000000000 -31096486110824066697944879/1000000000000000000000000000 -225088584391232773919189027/250000000000000000000000000 445145624181413570980373023/1000000000000000000000000000 285993385603432568350550643/1000000000000000000000000000 5299745798303494063131273/62500000000000000000000000 -108721492375777235971874913/1000000000000000000000000000 60792066971262497023923783/1000000000000000000000000000 -19175704615065369517388717/20000000000000000000000000 353893285943773164588328087/1000000000000000000000000000
-131471220787550714478460179/1000000000000000000000000000 56499280766437373568349639/1000000000000000000000000000 -31096486110824066697944879/1000000000000000000000000000 69115874588014842215284107/62500000000000000000000000 13493104391714104378739129/100000000000000000000000000 -77862979464596891805658259/1000000000000000000000000000 -125470939168787361183465459/500000000000000000000000000 -73324131508884064157087227/250000000000000000000000000 -8054432232710043794675619/20000000000000000000000000 -71195217318129677740158179/250000000000000000000000000 35921938003241290339165749/250000000000000000000000000 -405469738601779555600753/31250000000000000000000000
-951640347021995275324645881/250000000000000000000000000 817927987908945076055434417/500000000000000000000000000 -225088584391232773919189027/250000000000000000000000000 13493104391714104378739129/100000000000000000000000000 1953367808330334753388679469/500000000000000000000000000 -120720961310877096977388733/62500000000000000000000000 -620478237790534945674073197/500000000000000000000000000 -367938794131504775172018993/1000000000000000000000000000 471754407150219169955246427/1000000000000000000000000000 -131891705544280822624872147/500000000000000000000000000 4160273631648807936179465187/1000000000000000000000000000 -61423261852855760773718691/40000000000000000000000000
1882008080930317041209143189/1000000000000000000000000000 -20219654034867790448188921/25000000000000000000000000 445145624181413570980373023/1000000000000000000000000000 -77862979464596891805658259/1000000000000000000000000000 -120720961310877096977388733/62500000000000000000000000 3239584943576383825925364813/1000000000000000000000000000 219221554873597486972789093/1000000000000000000000000000 -301928070952988487671992817/1000000000000000000000000000 -90022290723550604298139147/250000000000000000000000000 -85391367748837133352761357/1000000000000000000000000000 -82275500605477299875114381/40000000000000000000000000 28694088013722075524935277/62500000000000000000000000
1209136596672037664021493399/1000000000000000000000000000 -519622074074869563351881113/1000000000000000000000000000 285993385603432568350550643/1000000000000000000000000000 -125470939168787361183465459/500000000000000000000000000 -620478237790534945674073197/500000000000000000000000000 219221554873597486972789093/1000000000000000000000000000 52613924696166584098348347/20000000000000000000000000 -191076092773622989055801753/1000000000000000000000000000 -9491271178065288522560363/40000000000000000000000000 -29671510424218511673080127/500000000000000000000000000 -264298330534969022190069387/200000000000000000000000000 38460788699487402393760231/1000000000000000000000000000
179252161568656020733646259/500000000000000000000000000 -30813186520137143743262293/200000000000000000000000000 5299745798303494063131273/62500000000000000000000000 -73324131508884064157087227/250000000000000000000000000 -367938794131504775172018993/1000000000000000000000000000 -301928070952988487671992817/1000000000000000000000000000 -191076092773622989055801753/1000000000000000000000000000 2904605429951590685525344379/1000000000000000000000000000 -44031803939536353586681829/1000000000000000000000000000 -46006562517261772156423499/500000000000000000000000000 -97954289988323751698738197/250000000000000000000000000 -265721219903549574070458523/500000000000000000000000000
-459657956840748831303753007/1000000000000000000000000000 9876817144646402785487323/50000000000000000000000000 -108721492375777235971874913/1000000000000000000000000000 -8054432232710043794675619/20000000000000000000000000 471754407150219169955246427/1000000000000000000000000000 -90022290723550604298139147/250000000000000000000000000 -9491271178065288522560363/40000000000000000000000000 -44031803939536353586681829/1000000000000000000000000000 1041710311995246587278315991/1000000000000000000000000000 -74992869813291384400418423/250000000000000000000000000 251185083339383391488962053/500000000000000000000000000 -7080819933227965126328841/20000000000000000000000000
51403926110268250666830007/200000000000000000000000000 -110453256025675091049053911/1000000000000000000000000000 60792066971262497023923783/1000000000000000000000000000 -71195217318129677740158179/250000000000000000000000000 -131891705544280822624872147/500000000000000000000000000 -85391367748837133352761357/1000000000000000000000000000 -29671510424218511673080127/500000000000000000000000000 -46006562517261772156423499/500000000000000000000000000 -74992869813291384400418423/250000000000000000000000000 48151449210447955711535159/31250000000000000000000000 -140451168775932599257450719/500000000000000000000000000 -73310965632582893097616983/500000000000000000000000000
-15834368475230368044215321/3906250000000000000000000 1742019207121949107643876139/1000000000000000000000000000 -19175704615065369517388717/20000000000000000000000000 35921938003241290339165749/250000000000000000000000000 4160273631648807936179465187/1000000000000000000000000000 -82275500605477299875114381/40000000000000000000000000 -264298330534969022190069387/200000000000000000000000000 -97954289988323751698738197/250000000000000000000000000 251185083339383391488962053/500000000000000000000000000 -140451168775932599257450719/500000000000000000000000000 4430265671518996344123686143/1000000000000000000000000000 -1635237201198548921173676151/1000000000000000000000000000
1496207061802621490662573941/1000000000000000000000000000 -321494784553141647577741743/500000000000000000000000000 353893285943773164588328087/1000000000000000000000000000 -405469738601779555600753/31250000000000000000000000 -61423261852855760773718691/40000000000000000000000000 28694088013722075524935277/62500000000000000000000000 38460788699487402393760231/1000000000000000000000000000 -265721219903549574070458523/500000000000000000000000000 -7080819933227965126328841/20000000000000000000000000 -73310965632582893097616983/500000000000000000000000000 -1635237201198548921173676151/1000000000000000000000000000 3197682743824591968514889819/1000000000000000000000000000


--- Term 9 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 8
Matrix dimension   : 4

Flags :
F1 : {3, 5}
F2 : {3, 4, 5}
F3 : {3, 6}
F4 : {3, 4, 6}
F5 : {3, 5, 7}
F6 : {3, 4, 5, 7}
F7 : {3, 6, 7}
F8 : {3, 4, 6, 7}

Basis :
B1 : (F3)-(F1)
B2 : (F4)-(F2)
B3 : (F7)-(F5)
B4 : (F8)-(F6)

Matrix :
690558087435883523672210603/250000000000000000000000000 265124097537008806757161257/250000000000000000000000000 666339919743443246151188789/500000000000000000000000000 7462945578583997662326277/100000000000000000000000000
265124097537008806757161257/250000000000000000000000000 2721688060090200131208360353/1000000000000000000000000000 7810393196731312583832927/12500000000000000000000000 570313765646662326938081151/1000000000000000000000000000
666339919743443246151188789/500000000000000000000000000 7810393196731312583832927/12500000000000000000000000 277805981039441787030159113/100000000000000000000000000 115838420013018179210797711/500000000000000000000000000
7462945578583997662326277/100000000000000000000000000 570313765646662326938081151/1000000000000000000000000000 115838420013018179210797711/500000000000000000000000000 4554662980268334479338184831/1000000000000000000000000000


--- Term 10 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 10

Flags :
F1  : {2, 3}
F2  : {2, 3, 4}
F3  : {2, 3, 5}
F4  : {2, 3, 4, 5}
F5  : {2, 3, 6}
F6  : {2, 3, 4, 6}
F7  : {2, 3, 5, 6}
F8  : {2, 3, 4, 5, 6}
F9  : {2, 3, 7}
F10 : {2, 3, 4, 7}
F11 : {2, 3, 5, 7}
F12 : {2, 3, 4, 5, 7}
F13 : {2, 3, 6, 7}
F14 : {2, 3, 4, 6, 7}
F15 : {2, 3, 5, 6, 7}
F16 : {2, 3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)+(F3)
B3  : (F4)
B4  : (F5)+(F9)
B5  : (F6)+(F11)
B6  : (F7)+(F10)
B7  : (F8)+(F12)
B8  : (F13)
B9  : (F14)+(F15)
B10 : (F16)

Matrix :
1783804155352639737398095421/1000000000000000000000000000 -239853542285923334681123709/1000000000000000000000000000 -96591559447076231790319833/200000000000000000000000000 98528101069637894916270427/1000000000000000000000000000 -31641415122170073487995519/500000000000000000000000000 -17592132164767063222842409/250000000000000000000000000 -96530600168926054021105977/1000000000000000000000000000 -24051860896719708935030073/250000000000000000000000000 4290818656462509467837373/1000000000000000000000000000 -25298928546840244395682421/100000000000000000000000000
-239853542285923334681123709/1000000000000000000000000000 1712874440818102191400337239/1000000000000000000000000000 409002438667850079762617557/1000000000000000000000000000 -984021230516958402225402847/1000000000000000000000000000 -71206888546659645953137387/500000000000000000000000000 -161694646852718641461681619/1000000000000000000000000000 105656079001264210875178157/500000000000000000000000000 -486312336663587943718754287/1000000000000000000000000000 -185139398457946912607931109/500000000000000000000000000 46463431879521196119401921/1000000000000000000000000000
-96591559447076231790319833/200000000000000000000000000 409002438667850079762617557/1000000000000000000000000000 1991520349516277642456299583/1000000000000000000000000000 -574229201046014088468299457/1000000000000000000000000000 -230736920530826452577557/25000000000000000000000000 -109698734297767105470427499/1000000000000000000000000000 149639227897996817412155121/500000000000000000000000000 -882380006196415970823973591/1000000000000000000000000000 -3304995456089506567072929/7812500000000000000000000 -204953888733550979564685659/1000000000000000000000000000
98528101069637894916270427/1000000000000000000000000000 -984021230516958402225402847/1000000000000000000000000000 -574229201046014088468299457/1000000000000000000000000000 1696039549372438233451112269/1000000000000000000000000000 -2971750808179329356389169/15625000000000000000000000 365122860657406284653367/200000000000000000000000000 -209359483828143816257313871/500000000000000000000000000 386003090872171108076689627/1000000000000000000000000000 31463400400279692400184501/250000000000000000000000000 -204986942239362541518153897/1000000000000000000000000000
-31641415122170073487995519/500000000000000000000000000 -71206888546659645953137387/500000000000000000000000000 -230736920530826452577557/25000000000000000000000000 -2971750808179329356389169/15625000000000000000000000 818616131363783127264208899/500000000000000000000000000 -172962213684711945707150881/1000000000000000000000000000 -50198146041857456316194127/1000000000000000000000000000 -172642374833661188198065529/1000000000000000000000000000 -58245066497602053728682251/200000000000000000000000000 -39214906713531492141849091/1000000000000000000000000000
-17592132164767063222842409/250000000000000000000000000 -161694646852718641461681619/1000000000000000000000000000 -109698734297767105470427499/1000000000000000000000000000 365122860657406284653367/200000000000000000000000000 -172962213684711945707150881/1000000000000000000000000000 1054827786116420898106836861/1000000000000000000000000000 -52055224054506878845828573/200000000000000000000000000 -79994666454948804648344291/1000000000000000000000000000 -8512038321600598674269899/100000000000000000000000000 -142834825238407149558988183/1000000000000000000000000000
-96530600168926054021105977/1000000000000000000000000000 105656079001264210875178157/500000000000000000000000000 149639227897996817412155121/500000000000000000000000000 -209359483828143816257313871/500000000000000000000000000 -50198146041857456316194127/1000000000000000000000000000 -52055224054506878845828573/200000000000000000000000000 840759049127898973349206251/1000000000000000000000000000 -34926306049832717496324689/125000000000000000000000000 -54746546995292701377866839/200000000000000000000000000 4193440467424065300807079/125000000000000000000000000
-24051860896719708935030073/250000000000000000000000000 -486312336663587943718754287/1000000000000000000000000000 -882380006196415970823973591/1000000000000000000000000000 386003090872171108076689627/1000000000000000000000000000 -172642374833661188198065529/1000000000000000000000000000 -79994666454948804648344291/1000000000000000000000000000 -34926306049832717496324689/125000000000000000000000000 952374633731449732814277391/500000000000000000000000000 28266837722943007560618209/250000000000000000000000000 -51793920014707996413939459/250000000000000000000000000
4290818656462509467837373/1000000000000000000000000000 -185139398457946912607931109/500000000000000000000000000 -3304995456089506567072929/7812500000000000000000000 31463400400279692400184501/250000000000000000000000000 -58245066497602053728682251/200000000000000000000000000 -8512038321600598674269899/100000000000000000000000000 -54746546995292701377866839/200000000000000000000000000 28266837722943007560618209/250000000000000000000000000 142199026108851971788220939/100000000000000000000000000 -13412376549604072847662873/62500000000000000000000000
-25298928546840244395682421/100000000000000000000000000 46463431879521196119401921/1000000000000000000000000000 -204953888733550979564685659/1000000000000000000000000000 -204986942239362541518153897/1000000000000000000000000000 -39214906713531492141849091/1000000000000000000000000000 -142834825238407149558988183/1000000000000000000000000000 4193440467424065300807079/125000000000000000000000000 -51793920014707996413939459/250000000000000000000000000 -13412376549604072847662873/62500000000000000000000000 973835799451298894825843507/500000000000000000000000000


--- Term 11 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 12
Matrix dimension   : 6

Flags :
F1  : {2, 3, 4}
F2  : {2, 3, 5}
F3  : {2, 3, 6}
F4  : {2, 3, 4, 6}
F5  : {2, 3, 5, 6}
F6  : {2, 3, 4, 5, 6}
F7  : {2, 3, 7}
F8  : {2, 3, 4, 7}
F9  : {2, 3, 5, 7}
F10 : {2, 3, 4, 5, 7}
F11 : {2, 3, 4, 6, 7}
F12 : {2, 3, 5, 6, 7}

Basis :
B1 : (F2)-(F1)
B2 : (F7)-(F3)
B3 : (F9)-(F4)
B4 : (F8)-(F5)
B5 : (F10)-(F6)
B6 : (F12)-(F11)

Matrix :
2549757466571747710560777287/1000000000000000000000000000 -879405168581632241907762159/1000000000000000000000000000 419639849003110011642548413/1000000000000000000000000000 -22863076542110478618029467/50000000000000000000000000 83417370700659616083121059/1000000000000000000000000000 410090693546666390717171887/1000000000000000000000000000
-879405168581632241907762159/1000000000000000000000000000 2621118829417569600212546763/1000000000000000000000000000 5596374125629621253700009/12500000000000000000000000 360987475780063051101306651/1000000000000000000000000000 22374824384531971762881567/1000000000000000000000000000 16282033029516157518565461/500000000000000000000000000
419639849003110011642548413/1000000000000000000000000000 5596374125629621253700009/12500000000000000000000000 58717887614970354474469721/15625000000000000000000000 -22808019776746225229209661/250000000000000000000000000 128787146307637925666109649/1000000000000000000000000000 91111592277887231526868089/200000000000000000000000000
-22863076542110478618029467/50000000000000000000000000 360987475780063051101306651/1000000000000000000000000000 -22808019776746225229209661/250000000000000000000000000 2072786465425927209285251347/1000000000000000000000000000 -115148561554926197110170397/500000000000000000000000000 -168569523375268565812126439/1000000000000000000000000000
83417370700659616083121059/1000000000000000000000000000 22374824384531971762881567/1000000000000000000000000000 128787146307637925666109649/1000000000000000000000000000 -115148561554926197110170397/500000000000000000000000000 764036407556707345530910859/1000000000000000000000000000 101520804151130812454610661/1000000000000000000000000000
410090693546666390717171887/1000000000000000000000000000 16282033029516157518565461/500000000000000000000000000 91111592277887231526868089/200000000000000000000000000 -168569523375268565812126439/1000000000000000000000000000 101520804151130812454610661/1000000000000000000000000000 37018932688303479532582649/15625000000000000000000000


--- Term 12 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 9

Flags :
F1  : {1, 2}
F2  : {1, 2, 4}
F3  : {1, 2, 5}
F4  : {1, 2, 4, 5}
F5  : {1, 2, 6}
F6  : {1, 2, 4, 6}
F7  : {1, 2, 5, 6}
F8  : {1, 2, 4, 5, 6}
F9  : {1, 2, 7}
F10 : {1, 2, 4, 7}
F11 : {1, 2, 5, 7}
F12 : {1, 2, 4, 5, 7}
F13 : {1, 2, 6, 7}
F14 : {1, 2, 4, 6, 7}
F15 : {1, 2, 5, 6, 7}
F16 : {1, 2, 4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F9)
B3 : (F3)+(F5)
B4 : (F4)+(F6)+(F11)+(F13)
B5 : (F7)
B6 : (F8)+(F15)
B7 : (F10)
B8 : (F12)+(F14)
B9 : (F16)

Matrix :
77862961175706849175467679/25000000000000000000000000 -55392486298147805932669527/62500000000000000000000000 60414603114317252497363871/125000000000000000000000000 64853170926340095947189213/125000000000000000000000000 -317579103314783801245147/976562500000000000000000 100581850285509835815220791/125000000000000000000000000 -2547266689348244273885547/3906250000000000000000000 -285535938723595620798148701/125000000000000000000000000 302448243435356882352519403/125000000000000000000000000
-55392486298147805932669527/62500000000000000000000000 129054759798990290952319221/500000000000000000000000000 -63361411572551099732682427/500000000000000000000000000 -7278326388443600065866011/50000000000000000000000000 5571264444049288236689123/50000000000000000000000000 -109104382007455591943785869/500000000000000000000000000 3355101387937104424535071/25000000000000000000000000 325663541045937309733704829/500000000000000000000000000 -82347400859326383197432563/125000000000000000000000000
60414603114317252497363871/125000000000000000000000000 -63361411572551099732682427/500000000000000000000000000 709902865072236855393408783/1000000000000000000000000000 -25648548380926617809594449/1000000000000000000000000000 -66224534830689204439472347/500000000000000000000000000 59920502503067033510262869/500000000000000000000000000 -48803148244680025739924663/250000000000000000000000000 -352098227091351916337286663/1000000000000000000000000000 190457336172175047763802541/500000000000000000000000000
64853170926340095947189213/125000000000000000000000000 -7278326388443600065866011/50000000000000000000000000 -25648548380926617809594449/1000000000000000000000000000 326772123668785174358855629/1000000000000000000000000000 -50488890886697349614312867/500000000000000000000000000 102305431626488361277867/5000000000000000000000000 -6332549233396748257567927/50000000000000000000000000 -15202662626956183803149427/40000000000000000000000000 197231508516787124077547151/500000000000000000000000000
-317579103314783801245147/976562500000000000000000 5571264444049288236689123/50000000000000000000000000 -66224534830689204439472347/500000000000000000000000000 -50488890886697349614312867/500000000000000000000000000 282835051520989152330138787/250000000000000000000000000 -48294943406470143920772797/250000000000000000000000000 -12016586860300892477495207/125000000000000000000000000 121336550495154267792052899/500000000000000000000000000 -16452753851432499021496761/50000000000000000000000000
100581850285509835815220791/125000000000000000000000000 -109104382007455591943785869/500000000000000000000000000 59920502503067033510262869/500000000000000000000000000 102305431626488361277867/5000000000000000000000000 -48294943406470143920772797/250000000000000000000000000 472733566224506579295743187/500000000000000000000000000 -65525897474560047564702371/250000000000000000000000000 -58778763627085900510134031/100000000000000000000000000 11411020452107875392233/20000000000000000000000
-2547266689348244273885547/3906250000000000000000000 3355101387937104424535071/25000000000000000000000000 -48803148244680025739924663/250000000000000000000000000 -6332549233396748257567927/50000000000000000000000000 -12016586860300892477495207/125000000000000000000000000 -65525897474560047564702371/250000000000000000000000000 145789825541576061370388929/250000000000000000000000000 116739169052855235576294397/250000000000000000000000000 -1913212570701533100685469/2500000000000000000000000
-285535938723595620798148701/125000000000000000000000000 325663541045937309733704829/500000000000000000000000000 -352098227091351916337286663/1000000000000000000000000000 -15202662626956183803149427/40000000000000000000000000 121336550495154267792052899/500000000000000000000000000 -58778763627085900510134031/100000000000000000000000000 116739169052855235576294397/250000000000000000000000000 1675656203665375205684565751/1000000000000000000000000000 -176804839806135815393831861/100000000000000000000000000
302448243435356882352519403/125000000000000000000000000 -82347400859326383197432563/125000000000000000000000000 190457336172175047763802541/500000000000000000000000000 197231508516787124077547151/500000000000000000000000000 -16452753851432499021496761/50000000000000000000000000 11411020452107875392233/20000000000000000000000 -1913212570701533100685469/2500000000000000000000000 -176804839806135815393831861/100000000000000000000000000 133512969900511064635494607/50000000000000000000000000


--- Term 13 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 12
Matrix dimension   : 7

Flags :
F1  : {1, 2, 4}
F2  : {1, 2, 5}
F3  : {1, 2, 4, 5}
F4  : {1, 2, 6}
F5  : {1, 2, 4, 6}
F6  : {1, 2, 4, 5, 6}
F7  : {1, 2, 7}
F8  : {1, 2, 5, 7}
F9  : {1, 2, 4, 5, 7}
F10 : {1, 2, 6, 7}
F11 : {1, 2, 4, 6, 7}
F12 : {1, 2, 5, 6, 7}

Basis :
B1 : (F7)-(F1)
B2 : (F4)-(F2)
B3 : (F5)-(F3)
B4 : (F8)-(F3)
B5 : (F10)-(F3)
B6 : (F12)-(F6)
B7 : (F11)-(F9)

Matrix :
170342675270230792171588443/125000000000000000000000000 582011859153043771/500000000000000000000000000 -53262434502511652598080259/62500000000000000000000000 852198950892289535718650399/1000000000000000000000000000 426099476502553434520531141/500000000000000000000000000 689945571823302367964461471/500000000000000000000000000 432533297368728081/1000000000000000000000000000
582011859153043771/500000000000000000000000000 10461285125757007773778659/7812500000000000000000000 2589495819693603352776549/250000000000000000000000000 -5178991240348980424680247/500000000000000000000000000 2589496454963978095329449/250000000000000000000000000 -61109168398689081/100000000000000000000000000 -898897273495504536989681/20000000000000000000000000
-53262434502511652598080259/62500000000000000000000000 2589495819693603352776549/250000000000000000000000000 18942882916782295276980039/6250000000000000000000000 -338010403356393075638275499/250000000000000000000000000 -344359034740914668563513529/250000000000000000000000000 -53562914665128278406085323/62500000000000000000000000 41988430398910350336613321/500000000000000000000000000
852198950892289535718650399/1000000000000000000000000000 -5178991240348980424680247/500000000000000000000000000 -338010403356393075638275499/250000000000000000000000000 3030861261963417461484724801/1000000000000000000000000000 -75345877618320778805344843/250000000000000000000000000 428503316338059246730390097/500000000000000000000000000 -83976860968520844822685399/1000000000000000000000000000
426099476502553434520531141/500000000000000000000000000 2589496454963978095329449/250000000000000000000000000 -344359034740914668563513529/250000000000000000000000000 -75345877618320778805344843/250000000000000000000000000 378857657487918229516571487/125000000000000000000000000 66953643565121077150621/78125000000000000000000 41988432663022099848984877/500000000000000000000000000
689945571823302367964461471/500000000000000000000000000 -61109168398689081/100000000000000000000000000 -53562914665128278406085323/62500000000000000000000000 428503316338059246730390097/500000000000000000000000000 66953643565121077150621/78125000000000000000000 1446730436419893020541506241/500000000000000000000000000 84319764601874327/100000000000000000000000000
432533297368728081/1000000000000000000000000000 -898897273495504536989681/20000000000000000000000000 41988430398910350336613321/500000000000000000000000000 -83976860968520844822685399/1000000000000000000000000000 41988432663022099848984877/500000000000000000000000000 84319764601874327/100000000000000000000000000 491132664087255861848155077/500000000000000000000000000


--- Term 14 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 12

Flags :
F1  : {1, 2, 3}
F2  : {1, 2, 3, 4}
F3  : {1, 2, 3, 5}
F4  : {1, 2, 3, 4, 5}
F5  : {1, 2, 3, 6}
F6  : {1, 2, 3, 4, 6}
F7  : {1, 2, 3, 5, 6}
F8  : {1, 2, 3, 4, 5, 6}
F9  : {1, 2, 3, 7}
F10 : {1, 2, 3, 4, 7}
F11 : {1, 2, 3, 5, 7}
F12 : {1, 2, 3, 4, 5, 7}
F13 : {1, 2, 3, 6, 7}
F14 : {1, 2, 3, 4, 6, 7}
F15 : {1, 2, 3, 5, 6, 7}
F16 : {1, 2, 3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)
B3  : (F3)+(F5)
B4  : (F4)+(F6)
B5  : (F7)
B6  : (F8)
B7  : (F9)
B8  : (F10)
B9  : (F11)+(F13)
B10 : (F12)+(F14)
B11 : (F15)
B12 : (F16)

Matrix :
962935620465002703315640983/500000000000000000000000000 -39140167262877764166754061/125000000000000000000000000 -183902261485943515026615453/1000000000000000000000000000 -5539161723995829916133221/1000000000000000000000000000 -399011750799990288047053081/1000000000000000000000000000 392077510323885484092747/500000000000000000000000000 -16903626573153004333611891/1000000000000000000000000000 2215018990862576131771823/62500000000000000000000000 -12294447541942803625322741/125000000000000000000000000 -775991276839479514243723/40000000000000000000000000 -16896901144286559747398223/62500000000000000000000000 -95636468135516629558430357/1000000000000000000000000000
-39140167262877764166754061/125000000000000000000000000 3425931197951465020584698587/1000000000000000000000000000 -20305209881400176255016577/62500000000000000000000000 22936161606523721866656851/1000000000000000000000000000 -84911932424297222140446451/200000000000000000000000000 352973144788593097851049/62500000000000000000000000 -24348338623006634742659569/200000000000000000000000000 5104895772781270895436269/20000000000000000000000000 -6928383716899818437799121/62500000000000000000000000 -73680436817128755846160701/1000000000000000000000000000 -358482753143400007954432951/1000000000000000000000000000 -137756777837464794868309071/200000000000000000000000000
-183902261485943515026615453/1000000000000000000000000000 -20305209881400176255016577/62500000000000000000000000 1614239088628536306470922839/1000000000000000000000000000 -13326767403373559203344371/62500000000000000000000000 -18570098046355820141109607/1000000000000000000000000000 882081399532715152161689/1000000000000000000000000000 -594204896064415620252673/31250000000000000000000000 2491631250539549061139203/62500000000000000000000000 -284544671145975536876810497/1000000000000000000000000000 -123297631702245825803409901/1000000000000000000000000000 -39464999229103225501883551/500000000000000000000000000 -53789791248181949695836167/500000000000000000000000000
-5539161723995829916133221/1000000000000000000000000000 22936161606523721866656851/1000000000000000000000000000 -13326767403373559203344371/62500000000000000000000000 276783114894921884035658789/250000000000000000000000000 -139591959560173159931230023/1000000000000000000000000000 1250159282809210260450791/1000000000000000000000000000 -13474517358841270247834891/500000000000000000000000000 56501602593762604333438851/1000000000000000000000000000 -367824486276200716972553247/1000000000000000000000000000 -100226265829303071025449801/1000000000000000000000000000 -35862751266784389810603927/250000000000000000000000000 -76235432987297800499553839/500000000000000000000000000
-399011750799990288047053081/1000000000000000000000000000 -84911932424297222140446451/200000000000000000000000000 -18570098046355820141109607/1000000000000000000000000000 -139591959560173159931230023/1000000000000000000000000000 2068319582088204084295255219/1000000000000000000000000000 533888506263637089447473/500000000000000000000000000 -4603504540145904836221217/200000000000000000000000000 12064689183818113771406373/250000000000000000000000000 -3011923207548321275780819/250000000000000000000000000 -1106578183390772629446911/50000000000000000000000000 -287771497848360609124270223/1000000000000000000000000000 -8139209929374143924800483/62500000000000000000000000
392077510323885484092747/500000000000000000000000000 352973144788593097851049/62500000000000000000000000 882081399532715152161689/1000000000000000000000000000 1250159282809210260450791/1000000000000000000000000000 533888506263637089447473/500000000000000000000000000 125747596156419090659443/1000000000000000000000000000 -542134918785630689205737/200000000000000000000000000 355201632341369339350339/62500000000000000000000000 448961267474410611879641/200000000000000000000000000 -1740462399449530441661799/1000000000000000000000000000 2411621880907934218849153/500000000000000000000000000 -7668157718516307428888099/500000000000000000000000000
-16903626573153004333611891/1000000000000000000000000000 -24348338623006634742659569/200000000000000000000000000 -594204896064415620252673/31250000000000000000000000 -13474517358841270247834891/500000000000000000000000000 -4603504540145904836221217/200000000000000000000000000 -542134918785630689205737/200000000000000000000000000 7304072780273715945132551/125000000000000000000000000 -122510307306313125355839467/1000000000000000000000000000 -48390094264414047842281887/1000000000000000000000000000 37518228782758915028066839/1000000000000000000000000000 -51986052948153062529199949/500000000000000000000000000 165298430706862715297641019/500000000000000000000000000
2215018990862576131771823/62500000000000000000000000 5104895772781270895436269/20000000000000000000000000 2491631250539549061139203/62500000000000000000000000 56501602593762604333438851/1000000000000000000000000000 12064689183818113771406373/250000000000000000000000000 355201632341369339350339/62500000000000000000000000 -122510307306313125355839467/1000000000000000000000000000 128428137353910940377723789/500000000000000000000000000 101455132217306670060738509/1000000000000000000000000000 -19665268758380403942080313/250000000000000000000000000 27248613221611153540613207/125000000000000000000000000 -693132521825383962780246133/1000000000000000000000000000
-12294447541942803625322741/125000000000000000000000000 -6928383716899818437799121/62500000000000000000000000 -284544671145975536876810497/1000000000000000000000000000 -367824486276200716972553247/1000000000000000000000000000 -3011923207548321275780819/250000000000000000000000000 448961267474410611879641/200000000000000000000000000 -48390094264414047842281887/1000000000000000000000000000 101455132217306670060738509/1000000000000000000000000000 1215373946360678185891738227/1000000000000000000000000000 -120341620164640095267959403/1000000000000000000000000000 10153054615180022585262569/1000000000000000000000000000 -136889494346901841748261191/500000000000000000000000000
-775991276839479514243723/40000000000000000000000000 -73680436817128755846160701/1000000000000000000000000000 -123297631702245825803409901/1000000000000000000000000000 -100226265829303071025449801/1000000000000000000000000000 -1106578183390772629446911/50000000000000000000000000 -1740462399449530441661799/1000000000000000000000000000 37518228782758915028066839/1000000000000000000000000000 -19665268758380403942080313/250000000000000000000000000 -120341620164640095267959403/1000000000000000000000000000 136713556187793596512718739/500000000000000000000000000 -130089372533304547160389287/1000000000000000000000000000 212268707025384360093011429/1000000000000000000000000000
-16896901144286559747398223/62500000000000000000000000 -358482753143400007954432951/1000000000000000000000000000 -39464999229103225501883551/500000000000000000000000000 -35862751266784389810603927/250000000000000000000000000 -287771497848360609124270223/1000000000000000000000000000 2411621880907934218849153/500000000000000000000000000 -51986052948153062529199949/500000000000000000000000000 27248613221611153540613207/125000000000000000000000000 10153054615180022585262569/1000000000000000000000000000 -130089372533304547160389287/1000000000000000000000000000 2589874543125518363254623731/1000000000000000000000000000 -294124019455570408858072801/500000000000000000000000000
-95636468135516629558430357/1000000000000000000000000000 -137756777837464794868309071/200000000000000000000000000 -53789791248181949695836167/500000000000000000000000000 -76235432987297800499553839/500000000000000000000000000 -8139209929374143924800483/62500000000000000000000000 -7668157718516307428888099/500000000000000000000000000 165298430706862715297641019/500000000000000000000000000 -693132521825383962780246133/1000000000000000000000000000 -136889494346901841748261191/500000000000000000000000000 212268707025384360093011429/1000000000000000000000000000 -294124019455570408858072801/500000000000000000000000000 1870433935703989504819041311/1000000000000000000000000000


--- Term 15 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 8
Matrix dimension   : 4

Flags :
F1 : {1, 2, 3, 5}
F2 : {1, 2, 3, 4, 5}
F3 : {1, 2, 3, 6}
F4 : {1, 2, 3, 4, 6}
F5 : {1, 2, 3, 5, 7}
F6 : {1, 2, 3, 4, 5, 7}
F7 : {1, 2, 3, 6, 7}
F8 : {1, 2, 3, 4, 6, 7}

Basis :
B1 : (F3)-(F1)
B2 : (F4)-(F2)
B3 : (F7)-(F5)
B4 : (F8)-(F6)

Matrix :
5030203082058794703109059551/1000000000000000000000000000 378523033283298536778807919/500000000000000000000000000 452880180962058199770749697/1000000000000000000000000000 -110154323860604374275471919/1000000000000000000000000000
378523033283298536778807919/500000000000000000000000000 3500821632707500996282510637/1000000000000000000000000000 248004690218329319565072639/250000000000000000000000000 1037154184834583922269201171/1000000000000000000000000000
452880180962058199770749697/1000000000000000000000000000 248004690218329319565072639/250000000000000000000000000 828385076279931107568588843/250000000000000000000000000 799583071723090678923297747/1000000000000000000000000000
-110154323860604374275471919/1000000000000000000000000000 1037154184834583922269201171/1000000000000000000000000000 799583071723090678923297747/1000000000000000000000000000 106008232982629226254934159/62500000000000000000000000


--- Term 16 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 6

Flags :
F1  : {0, 1, 2, 3}
F2  : {0, 1, 2, 3, 4}
F3  : {0, 1, 2, 3, 5}
F4  : {0, 1, 2, 3, 4, 5}
F5  : {0, 1, 2, 3, 6}
F6  : {0, 1, 2, 3, 4, 6}
F7  : {0, 1, 2, 3, 5, 6}
F8  : {0, 1, 2, 3, 4, 5, 6}
F9  : {0, 1, 2, 3, 7}
F10 : {0, 1, 2, 3, 4, 7}
F11 : {0, 1, 2, 3, 5, 7}
F12 : {0, 1, 2, 3, 4, 5, 7}
F13 : {0, 1, 2, 3, 6, 7}
F14 : {0, 1, 2, 3, 4, 6, 7}
F15 : {0, 1, 2, 3, 5, 6, 7}
F16 : {0, 1, 2, 3, 4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F3)+(F5)+(F9)
B3 : (F4)+(F6)+(F11)+(F13)
B4 : (F7)+(F10)
B5 : (F8)+(F12)+(F14)+(F15)
B6 : (F16)

Matrix :
187853230531331073194064903/200000000000000000000000000 -20846347200645485194739637/250000000000000000000000000 -40712352897736570753872241/1000000000000000000000000000 -11425969476331845283430523/250000000000000000000000000 0/1 -79098557087211674928890827/1000000000000000000000000000
-20846347200645485194739637/250000000000000000000000000 165794182061803476269634959/500000000000000000000000000 -83112496794656835818014297/1000000000000000000000000000 -5990938805131318625868177/250000000000000000000000000 0/1 -10565561851191681089343919/250000000000000000000000000
-40712352897736570753872241/1000000000000000000000000000 -83112496794656835818014297/1000000000000000000000000000 36392685224088697837389221/200000000000000000000000000 -1248835885343417966181861/500000000000000000000000000 0/1 -4254995316170978729936041/200000000000000000000000000
-11425969476331845283430523/250000000000000000000000000 -5990938805131318625868177/250000000000000000000000000 -1248835885343417966181861/500000000000000000000000000 54232973924185985818591077/500000000000000000000000000 0/1 -667243740608353836629541/50000000000000000000000000
0/1 0/1 0/1 0/1 0/1 0/1
-79098557087211674928890827/1000000000000000000000000000 -10565561851191681089343919/250000000000000000000000000 -4254995316170978729936041/200000000000000000000000000 -667243740608353836629541/50000000000000000000000000 0/1 27809524663777252222207643/200000000000000000000000000


--- Term 17 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 14
Matrix dimension   : 10

Flags :
F1  : {0, 1, 2, 3, 4}
F2  : {0, 1, 2, 3, 5}
F3  : {0, 1, 2, 3, 4, 5}
F4  : {0, 1, 2, 3, 6}
F5  : {0, 1, 2, 3, 4, 6}
F6  : {0, 1, 2, 3, 5, 6}
F7  : {0, 1, 2, 3, 4, 5, 6}
F8  : {0, 1, 2, 3, 7}
F9  : {0, 1, 2, 3, 4, 7}
F10 : {0, 1, 2, 3, 5, 7}
F11 : {0, 1, 2, 3, 4, 5, 7}
F12 : {0, 1, 2, 3, 6, 7}
F13 : {0, 1, 2, 3, 4, 6, 7}
F14 : {0, 1, 2, 3, 5, 6, 7}

Basis :
B1  : (F2)-(F1)
B2  : (F4)-(F1)
B3  : (F8)-(F1)
B4  : (F5)-(F3)
B5  : (F10)-(F3)
B6  : (F12)-(F3)
B7  : (F9)-(F6)
B8  : (F11)-(F7)
B9  : (F13)-(F7)
B10 : (F14)-(F7)

Matrix :
2230284599491599611106776489/1000000000000000000000000000 -77868351565755854463625683/62500000000000000000000000 -492195486505112435490045517/1000000000000000000000000000 -8285107253283992644426847/62500000000000000000000000 13256171556233779192083251/100000000000000000000000000 -132561715055707753590506949/1000000000000000000000000000 31414681572501209715891/12500000000000000000000000 0/1 0/1 0/1
-77868351565755854463625683/62500000000000000000000000 557571149554119590473425111/250000000000000000000000000 -123048871868767894060392311/250000000000000000000000000 13256171872475595277804067/100000000000000000000000000 -33140429126440371371770363/250000000000000000000000000 8285107134315967754646939/62500000000000000000000000 1256586010438673612844979/500000000000000000000000000 0/1 0/1 0/1
-492195486505112435490045517/1000000000000000000000000000 -123048871868767894060392311/250000000000000000000000000 2230284598773990848192599031/1000000000000000000000000000 -66280858147226450231241623/500000000000000000000000000 132561715202242739341011091/1000000000000000000000000000 132561716753691534804914363/1000000000000000000000000000 -314146518594836984405607/125000000000000000000000000 0/1 0/1 0/1
-8285107253283992644426847/62500000000000000000000000 13256171872475595277804067/100000000000000000000000000 -66280858147226450231241623/500000000000000000000000000 883668557841147133897884487/500000000000000000000000000 -5934775878491624354767469/6250000000000000000000000 -204443243415949354866128457/500000000000000000000000000 -45059483471122179/500000000000000000000000000 0/1 0/1 0/1
13256171556233779192083251/100000000000000000000000000 -33140429126440371371770363/250000000000000000000000000 132561715202242739341011091/1000000000000000000000000000 -5934775878491624354767469/6250000000000000000000000 441834277611906098422593747/250000000000000000000000000 -51110810894991488159301883/125000000000000000000000000 85887122076919387/125000000000000000000000000 0/1 0/1 0/1
-132561715055707753590506949/1000000000000000000000000000 8285107134315967754646939/62500000000000000000000000 132561716753691534804914363/1000000000000000000000000000 -204443243415949354866128457/500000000000000000000000000 -51110810894991488159301883/125000000000000000000000000 1767337115494357153857916381/1000000000000000000000000000 -123744649354967391/100000000000000000000000000 0/1 0/1 0/1
31414681572501209715891/12500000000000000000000000 1256586010438673612844979/500000000000000000000000000 -314146518594836984405607/125000000000000000000000000 -45059483471122179/500000000000000000000000000 85887122076919387/125000000000000000000000000 -123744649354967391/100000000000000000000000000 60121148987604341479423779/500000000000000000000000000 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1


--- Term 18 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 6

Flags :
F1  : {}
F2  : {4}
F3  : {5}
F4  : {4, 5}
F5  : {6}
F6  : {4, 6}
F7  : {5, 6}
F8  : {4, 5, 6}
F9  : {7}
F10 : {4, 7}
F11 : {5, 7}
F12 : {4, 5, 7}
F13 : {6, 7}
F14 : {4, 6, 7}
F15 : {5, 6, 7}
F16 : {4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F3)+(F5)+(F9)
B3 : (F4)+(F6)+(F11)+(F13)
B4 : (F7)+(F10)
B5 : (F8)+(F12)+(F14)+(F15)
B6 : (F16)

Matrix :
397614030033833034539589823/1000000000000000000000000000 -723945441442253135697960103/1000000000000000000000000000 17382453675318522776861029/200000000000000000000000000 7075067745434718492807903/7812500000000000000000000 105985632036862411489235703/1000000000000000000000000000 -29715199785879821150560531/200000000000000000000000000
-723945441442253135697960103/1000000000000000000000000000 1318104902235022429775801471/1000000000000000000000000000 -158243260478532342944912161/1000000000000000000000000000 -103053970037561407947448269/62500000000000000000000000 -192970592735026025599991519/1000000000000000000000000000 54103179866200089858328427/200000000000000000000000000
17382453675318522776861029/200000000000000000000000000 -158243260478532342944912161/1000000000000000000000000000 181019964103731934209318383/1000000000000000000000000000 3093000451141331414352237/15625000000000000000000000 -1919186358027794769562103/40000000000000000000000000 -87554138749507288442293193/1000000000000000000000000000
7075067745434718492807903/7812500000000000000000000 -103053970037561407947448269/62500000000000000000000000 3093000451141331414352237/15625000000000000000000000 64456907625453938485091253/31250000000000000000000000 7543551972962245185379059/31250000000000000000000000 -21149862452941954958803239/62500000000000000000000000
105985632036862411489235703/1000000000000000000000000000 -192970592735026025599991519/1000000000000000000000000000 -1919186358027794769562103/40000000000000000000000000 7543551972962245185379059/31250000000000000000000000 281312610835683386233772527/1000000000000000000000000000 -28203166572041578947029291/200000000000000000000000000
-29715199785879821150560531/200000000000000000000000000 54103179866200089858328427/200000000000000000000000000 -87554138749507288442293193/1000000000000000000000000000 -21149862452941954958803239/62500000000000000000000000 -28203166572041578947029291/200000000000000000000000000 925115637123354815508770351/1000000000000000000000000000


--- Term 19 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 14
Matrix dimension   : 10

Flags :
F1  : {4}
F2  : {5}
F3  : {4, 5}
F4  : {6}
F5  : {4, 6}
F6  : {5, 6}
F7  : {4, 5, 6}
F8  : {7}
F9  : {4, 7}
F10 : {5, 7}
F11 : {4, 5, 7}
F12 : {6, 7}
F13 : {4, 6, 7}
F14 : {5, 6, 7}

Basis :
B1  : (F2)-(F1)
B2  : (F4)-(F1)
B3  : (F8)-(F1)
B4  : (F5)-(F3)
B5  : (F10)-(F3)
B6  : (F12)-(F3)
B7  : (F9)-(F6)
B8  : (F11)-(F7)
B9  : (F13)-(F7)
B10 : (F14)-(F7)

Matrix :
919586897961802389688553997/500000000000000000000000000 -428735376580267478951472427/250000000000000000000000000 -15529036432701689791758023/250000000000000000000000000 -4154436096980132317442551/62500000000000000000000000 33235488716074449314928579/500000000000000000000000000 -6647097698420296440391229/100000000000000000000000000 12273267605255888151097819/125000000000000000000000000 -105609022863221661867471739/250000000000000000000000000 81539738180454199333894203/250000000000000000000000000 6017320886302278766136057/125000000000000000000000000
-428735376580267478951472427/250000000000000000000000000 229896724665910129172136493/125000000000000000000000000 -31058072412465680004826901/500000000000000000000000000 8308872081292044653577501/125000000000000000000000000 -33235488204561125817958063/500000000000000000000000000 3323548821126296876266971/50000000000000000000000000 49093068264734430791973671/500000000000000000000000000 3261589544132858286602321/10000000000000000000000000 -211218046100847026775392677/500000000000000000000000000 24069285448910491577200387/500000000000000000000000000
-15529036432701689791758023/250000000000000000000000000 -31058072412465680004826901/500000000000000000000000000 367834759293272495870947823/200000000000000000000000000 -66470977019004991182808263/1000000000000000000000000000 33235488968015678942672661/500000000000000000000000000 66470976652391917871242377/1000000000000000000000000000 -12273267246214970282123363/125000000000000000000000000 24069285054558450775191649/500000000000000000000000000 48138568165615611656129807/1000000000000000000000000000 -422436091604567512342446873/1000000000000000000000000000
-4154436096980132317442551/62500000000000000000000000 8308872081292044653577501/125000000000000000000000000 -66470977019004991182808263/1000000000000000000000000000 172600342890430444228146337/125000000000000000000000000 -308030478893569586189896899/500000000000000000000000000 -11949090398221482785681119/31250000000000000000000000 55672594251145473/100000000000000000000000000 -1250719175567525084474759/40000000000000000000000000 31267982461215475559304087/1000000000000000000000000000 -15633989693692768920175843/500000000000000000000000000
33235488716074449314928579/500000000000000000000000000 -33235488204561125817958063/500000000000000000000000000 33235488968015678942672661/500000000000000000000000000 -308030478893569586189896899/500000000000000000000000000 690401372641613146969724417/500000000000000000000000000 -191185446596171393805698637/500000000000000000000000000 2672857358749257/100000000000000000000000000 1563399029658226427177711/50000000000000000000000000 -7816995717825642627494223/250000000000000000000000000 3908497511304233870345269/125000000000000000000000000
-6647097698420296440391229/100000000000000000000000000 3323548821126296876266971/50000000000000000000000000 66470976652391917871242377/1000000000000000000000000000 -11949090398221482785681119/31250000000000000000000000 -191185446596171393805698637/500000000000000000000000000 2696880357280509343947081/1953125000000000000000000 -204377508510138803/250000000000000000000000000 -6253596222445660492787129/200000000000000000000000000 31267980518465538998388573/1000000000000000000000000000 15633989566343289572801273/500000000000000000000000000
12273267605255888151097819/125000000000000000000000000 49093068264734430791973671/500000000000000000000000000 -12273267246214970282123363/125000000000000000000000000 55672594251145473/100000000000000000000000000 2672857358749257/100000000000000000000000000 -204377508510138803/250000000000000000000000000 155201482744934209000682741/1000000000000000000000000000 -9511497184072353121386761/125000000000000000000000000 -76091974167450968769491199/1000000000000000000000000000 9511496883892720506431971/125000000000000000000000000
-105609022863221661867471739/250000000000000000000000000 3261589544132858286602321/10000000000000000000000000 24069285054558450775191649/500000000000000000000000000 -1250719175567525084474759/40000000000000000000000000 1563399029658226427177711/50000000000000000000000000 -6253596222445660492787129/200000000000000000000000000 -9511497184072353121386761/125000000000000000000000000 1587983495533083241355367969/1000000000000000000000000000 -83227890697210452486861361/100000000000000000000000000 -377852293100140950671983561/1000000000000000000000000000
81539738180454199333894203/250000000000000000000000000 -211218046100847026775392677/500000000000000000000000000 48138568165615611656129807/1000000000000000000000000000 31267982461215475559304087/1000000000000000000000000000 -7816995717825642627494223/250000000000000000000000000 31267980518465538998388573/1000000000000000000000000000 -76091974167450968769491199/1000000000000000000000000000 -83227890697210452486861361/100000000000000000000000000 793991746875184561791261939/500000000000000000000000000 -15114091756555413208161337/40000000000000000000000000
6017320886302278766136057/125000000000000000000000000 24069285448910491577200387/500000000000000000000000000 -422436091604567512342446873/1000000000000000000000000000 -15633989693692768920175843/500000000000000000000000000 3908497511304233870345269/125000000000000000000000000 15633989566343289572801273/500000000000000000000000000 9511496883892720506431971/125000000000000000000000000 -377852293100140950671983561/1000000000000000000000000000 -15114091756555413208161337/40000000000000000000000000 793991747851239214266944033/500000000000000000000000000

